TAGs: Lens equation example